Decrease in weekly working hours of Korean workers from 2010 to 2020 according to employment status and industrial sector